TSTP Solution File: GRA036^2 by Nitpick---2016